开普勒猜想:关于三维空间中“等半径球体如何最密堆积”的数学命题。它断言:把同样大小的球(如橙子)在空间里堆得最紧密时,最大密度由经典的“炮弹堆叠/橙子堆叠”方式达到(等价于面心立方或六方最密堆积),其堆积密度为
\(\pi / \sqrt{18} \approx 0.74048\)。
(它最常见的语境是几何学、离散数学与优化问题;在更广义的“球堆积”研究中还有许多相关结论。)
/ˈkɛplər kənˈdʒɛktʃər/
The Kepler Conjecture is about the densest way to pack spheres.
开普勒猜想研究的是球体最密堆积的方式。
After years of work, mathematicians verified the Kepler Conjecture using a proof that combined traditional arguments with computer checking.
经过多年的研究,数学家通过结合传统推理与计算机检验的证明,验证了开普勒猜想。
“Kepler”来自天文学家Johannes Kepler(约翰内斯·开普勒)的姓氏;他在 1611 年提出与“球最密堆积”相关的论断(常与他讨论雪花六角结构的小册子联系在一起)。
“Conjecture”源自拉丁语 conicere(推测、猜想),在数学中指“尚未被证明但被认为正确的命题”。因此 Kepler Conjecture 字面即“开普勒提出的(数学)猜想”。